
#include "stm32f4xx_it.h"
#include "stm32f4xx_hal.h"

void NMI_Handler(void)
{
	while (1) {
	}
}

void HardFault_Handler(void)
{
	while (1) {
	}
}

void MemManage_Handler(void)
{
	while (1) {
	}
}

void BusFault_Handler(void)
{
	while (1) {
	}
}

void UsageFault_Handler(void)
{
	while (1) {
	}
}

#if !defined(CONFIG_OS)
void SVC_Handler(void)
{
}
#endif

void DebugMon_Handler(void)
{
}

#if !defined(CONFIG_OS)
void PendSV_Handler(void)
{
}

void SysTick_Handler(void)
{
	HAL_IncTick();
}
#endif
